🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Feeds to Scour
SubscribedAll
Scoured 9578 posts in 4.58 s
Transaction Management: Making ACID Real
dev.to·4h·
Discuss: DEV
📝Database WAL
Preview
Report Post
Department of Computer Science and Technology – Technical reports: UCAM-CL-TR-949
cl.cam.ac.uk·51m·
Discuss: Hacker News
🔩Systems Programming
Preview
Report Post
AI Infrastructure Basics: How MCP Works
newsletter.systemdesign.one
·1d·
Discuss: r/programming
🌊Stream Processing
Preview
Report Post
Cheney on the M.T.A.
plover.com·2d
⬆️Lambda Lifting
Preview
Report Post
Your Team Uses AI. Why Aren't You 10x Faster?
bits.logic.inc·3h·
Discuss: Hacker News
📏Code Metrics
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·11h
✅Formal Methods
Preview
Report Post
Discussion/Help improving Homelab Setup (Beginner here)
reddit.com·14h·
Discuss: r/homelab
🏠HomeLab
Preview
Report Post
Linux perf Examples
brendangregg.com·14h
📊Performance Profiling
Preview
Report Post
Virtualization: Theory to Silicon
pooladkhay.com·8h·
Discuss: Hacker News
👑RISC-V Privilege
Preview
Report Post
Python by Structure: Precise Error Scoping with Try/Except/Else
dev.to·16h·
Discuss: DEV
🔓Reverse engineering
Preview
Report Post
I'm looking for high-level evaluations for a private and unique heuristic logic engine.
reddit.com·1d·
Discuss: r/LLM
🔮Proof Search
Preview
Report Post
Meeting Seed7
genodians.org·1d
🦀Rust Macros
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🏛️Agda
Preview
Report Post
Think Your Python Code Is Slow? Stop Guessing and Start Measuring
towardsdatascience.com·1d
👁️System Observability
Preview
Report Post
Prompts are becoming Code, but we still treat them like Strings
dev.to·14h·
Discuss: DEV
⚡Proof Automation
Preview
Report Post
Optimizing Bracha's Reliable Broadcast: Shaving Rounds off a 37-Year-Old Algorithm
blog.can.ac·2d
🤝Paxos Consensus
Preview
Report Post
Natural language processing for word sense disambiguation and information extraction
arxiv.org·14h·
Discuss: r/compsci
📥Feed Aggregation
Preview
Report Post
How Data Travels: Packet Switching vs Circuit Switching
infosecwriteups.com
·17h
📼Cassette Networking
Preview
Report Post
Why are we worried about memory access semantics? Full barriers should be enough for anybody
devblogs.microsoft.com·1d·
Discuss: Hacker News
🖥️Hardware Architecture
Preview
Report Post
The Anti-Cloud AI Manifesto: Meet “Ratio,” the DSL That Runs Game-Grade Intelligence on a Laptop
hackernoon.com·3d
🌊Stream Processing
Preview
Report Post